a.externalLink, a.externalLink:link, a.externalLink:visited, a.externalLink:active, a.externalLink:hover {
  background: none;
  padding-right: 0;
}

body ul {
  list-style-type: square;
}

#downloadbox {
  float: right;
  margin-left: 1em;
  margin-top: 1em;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid #999;
  background-color: #eee;
  width: 17.5em;
}

#downloadbox h5 {
  color: #000;
  margin: 0;
  border-bottom: 1px solid #aaaaaa;
  font-size: smaller;
  padding: 0;
  margin-top: 1em;
}

#downloadbox p {
  margin-top: 1em;
  margin-bottom: 0;
}

#downloadbox li {
  margin-left: -2em;
  text-indent: inherit;
}

#downloadbox .section h3 {
  color: #000;
  background: none;
  margin: 0;
  border-bottom: 1px solid #aaaaaa;
  font-size: smaller;
  padding: 0;
  margin-top: 1em;
}


/* glutmech example stuff */

#imagebox {
  float: right;
  margin-left: 2em;
  padding-left: 1em;
  padding-right: 1em;
  padding-bottom: 1em;
}


.imagecell
{
	text-align: center;
	padding: 0.5em;
}



/* customized banner */

#banner {
	height: 73px;
	padding-top:20px;
	padding-left:20px;
	background: none;
}

#poweredBy {
	visibility: hidden;
	width: 0px;
	height: 0px;
	position: absolute;
}


/* syntax highlighting/code blocks */

.identifier
{
	color: black;
}

.keyword
{
	color: navy;
	font-weight: bold;
}

.string
{
	color: red;
}

.comment
{
	color: green;
}

.directive
{
	color: green;
	display: inline;
}

.icode
{
	color: black;
}
